proof of program correctness
- 基础释义 纠错
- 释义
程序正确性证明
- 双语例句 更多例句
-
1、
-
2、
A Developing Method of Programs Based on the Proof Theory of Program Correctness
一种基于程序正确性证明理论的程序开发方法
来源：互联网摘选
- 相关词组
- The Secrets of a Sensuous Nurse 诱人女护士
- audit of financial statements 财务报表审计;
- set of reception sidings 到达线群
- The Family of Man 人类大家庭;人类一家
- neglect of 疏忽;对...的疏忽
- axis of rotation 转动轴;旋转轴;自转轴;
- attitude awareness and change program 态度意识和改变计划;态度认知与改动计划
- axial moment of inertia 轴向惯性矩;
- veins of upper eyelid 上睑静脉
- average length of life 平均寿命;
- 相关阅读
-
为什么要称程序的错误为Bug?
英语网 · 英语口语
-
卡妹Camila Cabello音乐节“忘词”，疑似diss匠妹Sabrina Carpenter，三角恋风波再起！
英语网 · 双语娱乐资讯
-
韩元的英文怎么说?今日韩元兑换人民币汇率是多少?
英语网 · 英语词汇
-
《大地惊雷》Hailee Steinfeld 和足球小将Josh Allen订婚了！
英语网 · 双语娱乐资讯
-
pass the interview和pass on the interview,你知道哪个是通过面试吗?
英语网 · 英语口语
-
中国神话故事：吴刚伐桂（Wu Gang Chopping the Laurel Tree）
英语网 · 双语娱乐资讯